退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:F-Logic:用于对对象,继承和方案进行推理的高级语言
Michael Kifer; Georg Lausen;
机译:F-OML概述:一种基于F逻辑的对象建模语言
机译:面向对象的演绎数据库语言中的非单调继承
机译:面向对象语言的封装,委托和继承
机译:F-logic:用于对对象,继承和方案进行推理的高级语言
机译:关于高阶函数和参数的推理。
机译:勘误至:了解和推理长尾猕猴中的对象间关系?
机译:F逻辑:用于推理对象,继承和方案的高阶语言
机译:自然语言推理系统,自然语言推理方法和程序
机译:家庭服务器中基于继承的权利对象文件的生成和管理方案
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。